let map f lst =
  failwith "not tail-recursive"
let fold_right f lst ini =
  failwith "not tail-recursive"
let mapi f lst =
  failwith "not tail-recursive"