Por ejemplo, el símbolo codice_3 no es, como puede parecer, una constante entera, sino un breve programa que empuja ("push") al número 5 sobre la pila.