Fixed a bug of output_byte32
Implement 'not' instruction.
Implement IO function of 64-bit data.