The instruction PUSH64i32 isn't triggering any memory access callback.

I had to add it manualy to the array STACK_WRITE_64 in src/Patch/X86_64/InstInfo_X86_64.cpp.