execute s                        (PushB x : xs) = execute (BVal x : s ) xs
execute s                        (PushB x : xs) = execute (BVal x : s ) xs
execute s                        (PushB x : xs) = execute (BVal x : s ) xs