typedef long unsigned int __uint32_t;
typedef __uint32_t uint32_t ;

uint32_t random_uniform( ){ return 0;}

int main()
{
  int j = random_uniform( );
}