Some ideas for integer instruction encoding