Add some mac-specific fixed_stack_segment annotations