u64Push
void u64Push(FICL_STACK *pStack, DPUNS u64);
u64Push(pVM->pStack, u);
u64Push(pVM->pStack, accum);
u64Push(pVM->pStack, ud);