return __udivmoddi4 (n, d, (u64 *) 0); 
return __udivmoddi4(n, d, (u64 *) 0); 
__udivdi3 (u64 n, u64 d){  return __udivmoddi4 (n, d, (u64 *) 0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/3ade2fe0fd0238d68938b8f5f73ebd0561d2d2e5/udivdi3.c/buggy/arch/arm/lib/udivdi3.c