#include <stdio.h>

#define __swi
#include "osfile.h"

long PyOS_GetLastModificationTime(char *path, FILE *fp)
{
  int obj;
  bits load, exec, ftype;

  if (xosfile_read_stamped_no_path(path, &obj, &load, &exec, 0, 0, &ftype)) return -1;
  if (obj != osfile_IS_FILE) return -1;
  if (ftype == osfile_TYPE_UNTYPED) return -1;

  load &= 0xFF;
  load -= 51;
  if (exec < 1855548004U) load--;
  exec -= 1855548004U;
  return exec/100+42949672*load+(95*load)/100;
}