source file for Robbie the Robot