MRE of an

include_str! bug