We can use Safety as a per-object mixin
% Stack s2 -mixin Safety ::s2 % s2 push a a % s2 pop a % s2 pop Stack empty!
The mixin can be added/removed to existing objects at any time