#include <u.h>
#include <libc.h>
void
main(void)
{
int x;
double g;
g = 4215866817.;
x = (uint)g;
USED(x);
g = 1.;
exits("");
}
#include <u.h>
#include <libc.h>
void
main(void)
{
int x;
double g;
g = 4215866817.;
x = (uint)g;
USED(x);
g = 1.;
exits("");
}