pushSize

fun pushSize(op: ScriptElt): Int?