sprinkle in some `fixed_stack_segment` annotations