Execution

Entry points

TODO: Entry points (Carbon and foreign). fn Run().

Object model

Sequential execution

Threads and data races