both 32 and 64-bit versions of MICA