// -*- mode: java;  -*-

// libc bindings:
//   https://www.man7.org/linux/man-pages/man2/<libc call>.2.html

// fd  buf len -> len
{  i32 i64 u32 -> u32 } write = "C";
// fd  buf len -> len
{  i32 i64 u32 -> u32 } read = "C";
// status
{  i32 -> i32 } _exit = "C";
// addr len prot flags fd  off -> void*
{  i64  i64 i32  i32   i32 i32 -> i64 } mmap = "C";
// mmap flags
i32 PROT_EXEC = 4;
i32 PROT_READ = 1;
i32 PROT_WRITE= 2;
i32 PROT_NONE = 0;
i32 MAP_PRIVATE = 2;
i32 MAP_ANON = 32;