#include<stdio.h>

int main()
{
    float ival = 3.14551;
    printf("%f", ival);

    // signal to operating system everything works fine
    return 0;
}