php 64bit
dbg