fixed some bug in EXT* opcodes and tests