Cobol_typeck.Config
type options = {
binary_size : binary_size;
}
and binary_size = Cobol_config.Types.binary_size