mutable l0_rec = ref ""