native mod libc {
  type file_handle;
}

fn main() {
  assert (true);
}