starting from <main>

with concrete stack pointer
secret global s1
public global s2, n

assume 0 < n < 10

halt at <exit>
explore all