let trail m =
  let n = String.length m in
  let rec first k = if k < n && m.[k] = '0' then first (succ k) else k in
  let rec last k = if k >= 0 && m.[k] = '0' then last (pred k) else k in
  let a = first 0 in
  let b = last (n-1) in
  if a <= b then Some(a , n-b-1) else None