#include<stdio.h>

int main()
{
    printf("This is int %d\n", (int)10.0/3);
    return 0;
}