while (true)
{
    __fstdout_println("1");
    break;
}