from stack1 import *
push(123)                  # module-name not needed
result = pop()