UDItype w; 
u64 w; 
__umoddi3 (UDItype u, UDItype v){  UDItype w;  (void) __udivmoddi4 (u ,v, &w);  return w;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f29481c0e7e55efc25598c1a6c503015cfe45245/udivdi3.c/clean/arch/arm/lib/udivdi3.c