a SE machine does not belong in this codebase