Version 1.0 semantics in code