Bootstrap

This is a bootstrap primitive. It must be made available to the origin module of an Avail system via a special pragma.