re #3 C: now testing both 32 and 64 bits