- add __unreachable() after functions that can return but won't in this case, and thus can't be marked __dead easily