public static void reset_errno() { *InternalUnix.__errno_location() = 0; }
public static int errno() { return(*InternalUnix.__errno_location()); }