let col_exn t = match t.col with Some s -> s | None -> raise Undefined