Simplified the semantics of `spawn`