Removed need for 'karel.' prefix + added threading