[ros-diffs] [ion] 16034: Remove weird header and add a missing prototype in halfuncs.h