let display_bindings () = 
    pl "Bound variables:"
    Hashtbl.iter disp_bind local_vars;
    let n = Hashtbl.length local_vars in
    pf "Total: %d %s\n" n (pluralise "variable" n)