Use more elegant debug functions instead of debug32