Missing header for operand.h