@ -1,11 +1,13 @@
#include "6.0s1.h"
int main(void) {
S1_INT p = read_int();
s1_trace("Hello");
s1_int p = read_int();
write_int(p);
write_char('\n');
read_pnl();
S1_CHAR q = read_char();
s1_trace("Read until newline");
s1_char q = read_char();
write_char(q);
}