separate kernel stuff from Main namespace, and evaluate user code in Main