top_and_bottom_safe_mem

unit

top_and_bottom_safe_mem_lock

unit top_and_bottom_safe_mem_lock = {
imports[
base_critical : Critical_T
];
exports[
mem_lock : MemLock_T
];
...
}