val [->int] main;
val int n;