#!/usr/local/bin/tcc -run

#include<stdio.h>
main(){
int x=34.5;
char y[5]="34.5";
printf("%d %s\n",x,y);
}