let
load_mem m t l = !load_rec m t l