cleaned up BasicRuntime.c