while(true)
    x = scanf('%d', [1]);
    if (x == 42)
        break;
    endif
    printf("%d\n", x);
endwhile