execute s                        (PushI x : xs) = execute (IVal x : s ) xs
execute s                        (PushI x : xs) = execute (IVal x : s ) xs
execute s                        (PushI x : xs) = execute (IVal x : s ) xs