Carbon language specificationExecutionOn this pageExecutionEntry pointsTODO: Entry points (Carbon and foreign). fn Run().Object modelSequential executionThreads and data races