A unit testing framework for FANUC KAREL.