Extracting the core from the examples, load with system.scm