… | |
… | |
33 | typedef uint32_t uint32; |
33 | typedef uint32_t uint32; |
34 | typedef int64_t sint64; |
34 | typedef int64_t sint64; |
35 | typedef uint64_t uint64; |
35 | typedef uint64_t uint64; |
36 | |
36 | |
37 | typedef uint32_t tick_t; |
37 | typedef uint32_t tick_t; |
|
|
38 | typedef uint16_t faceidx; |
38 | |
39 | |
39 | const int sint32_digits = 11; // number of digits an sint32 uses max. |
40 | const int sint32_digits = 11; // number of digits an sint32 uses max. |
40 | const int sint64_digits = 20; |
41 | const int sint64_digits = 20; |
41 | |
42 | |
42 | typedef char *octet_string; |
43 | typedef char *octet_string; |