#include <stdio.h>

int main
{
  float a = + 5.0; /*0x40A00000*/
  float c = -25.5; /*0xC1CC0000*/
  return 0;
}