// Usage:
//
//   gcc -c convert2.c
//   objdump -S  convert2.o
//

int x;
float y;

main(int argc, char * argv[])
{
   x = y;
}