Instruction encoding example.