if monitored then all changes to the megalith are monitored. Monitoring is optional because we want to be able to set counting breaks down inside the monitoring code, and we are willing to miss an occassional count to be able to do that. Monitoring status is set when the megalith is allocated, and never changed.

count: CARD,

break: Breakpoint.Break,

monitored: BOOLEAN

] ¬ nullMegalithRep;

nullMegalithRep: MegalithRep ~ [count: 0, break: Breakpoint.nullBreak, monitored: FALSE];