Import some parts of the Execution model from Samsung's spec.