push

expect fun push(e: Int)