class interface
PUBLIC_NONE
invariant
no_heir: false;
end of
PUBLIC_NONE