main.c: fixed CE on 32-bit systems