Implementing the runtime