let trim_comment s = let buff = Buffer.create (String.length s) in let idx = ref 0 in while !idx < String.length s && s.[!idx] != '#' do Buffer.add_char buff s.[!idx]; incr idx done; Buffer.contents buff