Arithmetic operations on markings are now defined static inline.