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