Modules

assert the referential identity of a reference