1 2 /* MACHINE PROCESSED SOURCE CODE -- DO NOT EDIT */ 3 4 #ifndef _H_ov_port 5 #define _H_ov_port 6 7 /* headers */ 8 9 #include <stdio.h> 10 #include <math.h> 11 #include <string.h> 12 #include <stdlib.h> 13 #include <ctype.h> 14 15 #ifdef __linux__ 16 #include <malloc.h> 17 #else 18 #include <stddef.h> 19 #endif 20 21 #include "ov_defines.h" 22 #include "ov_status.h" 23 24 25 /* memory management */ 26 27 #define ov_os_malloc malloc 28 #define ov_os_calloc calloc 29 #define ov_os_realloc realloc 30 #define ov_os_free free 31 #define ov_os_memmove memmove 32 #define ov_os_memset memset 33 34 /* termination */ 35 36 #define ov_os_abort abort 37 #define ov_os_exit exit 38 39 #endif 40