#include "6.0s1.h"

int main(void) {
    s1_trace("Hello");
    s1_int p = read_int();
    write_int(p);
    write_char('\n');
    read_pnl();
    s1_trace("Read until newline");
    s1_char q = read_char();
    write_char(q);
    write_char('\n');
}