Update ITL_util.h