Handle 64bit platforms properly in CHECK macro