let disp_bind k v = Printf.printf "%20s = %s\n" k (soff v)