sO f2s_opt(O o) {
  if (o cast File) ret f2s(o);
  ret o;
}