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