lint
First bits of loading user code