#include <stdio.h>

int ret123();

int main()
{
	printf("ret=%d\n", ret123());
}