push              314 include/exec.h void push();
push               51 src/struct.c       { "PUSH", ADR_X, 0x7000, push },