#include <errno.h>
int get_c_errno(void) {
  return errno;
}