INCLUDE "types.cps"
OVERLOAD FUNCTION OPERATOR+(lhs : Key, rhs : INTEGER) RETURNS INTEGER
RETURN lhs.Value + rhs
ENDFUNCTION