../../../../abs32_utils.h