Main> run "ss+~~+k~~"
X29AState {register = 0, stack = [Apply (Apply PrimS (Apply PrimS PrimInc)) (Apply PrimInc PrimK)]}

Main> run "ss+~~+k~~k~"
X29AState {register = 2, stack = [PrimK]}