modgc: 64-bit cleanness.