64-bit port