Added some non-karel stuff