BCHPredefinedAllocaSemantics
val alloca_functions : BCHLibx86Types.predefined_callsemantics_int list
val alloca_patterns : BCHLibx86Types.regexpattern_t list