IO primitives for loading code from files