fix pretty printing of  64 bit loads