write log message to /var/log/syslog, and it should be 64-bit