__umoddi3 (u64 u, u64 v) 
u64 __umoddi3(u64 u, u64 v) 
__umoddi3 (u64 u, u64 v){  u64 w;  (void) __udivmoddi4 (u ,v, &w);  return w;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3ade2fe0fd0238d68938b8f5f73ebd0561d2d2e5/udivdi3.c/buggy/arch/arm/lib/udivdi3.c