A library of functions in RobotC