About the -Ofixed_ints and -Ofixed_bits options

[ocelaiwo]

When getting a list of options using sail --help, there are a couple of options regarding the usage of fixed size types instead of their arbitrary precision counterparts:

-Ofixed_int                              assume fixed size integers rather than GMP arbitrary precision integers
-Ofixed_bits                             assume fixed size bitvectors rather than arbitrary precision bitvectors

These options are not documented in the Sail manual and their use leads to compilation errors when compiling the generated model with the Sail C library.

I suppose you need to use some other variant of the Sail C library, the one using the fixed size types. Inside the C library I have found two directories, int128 and nostd, but I could not find any documentation about their purpose and usage. Are they related to the aforementioned options? If so, how do I use those alternative parts of the library to have the model use fixed size types where possible?

Thank you in advance.