It also prints to the log upon starting a 32-bit server.