#endif
}
+inline static int system_fseek(FILE *stream, off_t offset, int whence)
+{
+#if defined(HAVE_FSEEK)
+ return fseek(stream, offset, whence);
+#else
+# error fseek not available
+#endif
+}
+
inline void os::free(void* ptr)
{
#if defined(HAVE_FREE)