INTERFACE Uucontext;

FROM Ctypes IMPORT void_star;
FROM Cstddef IMPORT size_t;

TYPE
  (* 1024 bits, with size_t alignment, in glibc, though the kernel only supports 64 or 128 signals *)
  sigset_t = ARRAY[0..15] OF size_t;
  ucontext_t_star = void_star;

END Uucontext.