Added 64-bit platform-specific output for enum01, enum02 and enum03,
including a minor fix to enum03.hs and enum03.stdout.

MERGE TO STABLE