Archived tweet #11463 from the @leastfixedpoint Twitter Archive@jonathoda ... it's OO only if you consider Actors to be OO, and furthermore only if you consider Syndicate to be Actors :-)
(it also needs a little boilerplate, plus two "type" declarations:
assertion type Ctr(value);
message type Inc();
)