Stubs for some of the execution environment