#include<stdio.h>

int main(){
	auto x = 5.345;
	return 0;
}