TODO: Abstract operands and concrete implementation of instructions.