Extra debug output for amd64