Execution Entry points TODO: Entry points (Carbon and foreign). fn Run(). Object model Sequential execution Threads and data races