ftello: Provide a non-inline replacement of ftell().