public static void doPush(CpuContext ctx, ushort val)
 {
     ctx.SP -= 2;
     ctx.WriteMemory2(ctx.SP, val);
 }