push

fun push(prefix: String?, pos: Int): Stack

Pushes a string constant and a pointer to a token's replacement position onto stack.