Gather prefixes & flags in concolic_macros.hrl