let chop_whitespace str from = let i = ref (String.length str) in while !i > from && (let c = str.[!i-1] in c = '\000' || c = ' ' || c = '\t') do decr i done; String.sub str from (!i - from)