Use runtime/objs.hpp to include runtime objects. Inline increment/decrement runtime data.