----simple resi---- simple_resi. sepp(simple)=sepp_simple sepp(simple)=sepp_simple_2 (after <$let>) ----old-style container---- resi_start: sepp=sepp_resi (inside resi) resi_end : sepp=sepp_resi ----paired resi---- (start paired resi) sepp(paired)=sepp_paired resi_start: sepp=sepp_resi sepp(paired)=sepp_global resi_end : sepp=sepp_resi sepp(paired)=sepp_paired (end paired resi)-- ----recursive resi---- recursive_start: sepp=sepp_recursive recursive_start: sepp=sepp_recursive_x recursive_start: sepp=sepp_recursive_x_x recursive_start: sepp=sepp_recursive_x_x_x ABORT recursion. recursive_end : sepp=sepp_recursive_x_x_x recursive_end : sepp=sepp_recursive_x_x recursive_end : sepp=sepp_recursive_x recursive_end : sepp=sepp_recursive sepp(global)=sepp_global ----nesting a container---- twice: (pag(lnk(hrf#hrf)lnk)pag) once : (lnk(hrf*hrf)lnk)