use INT_MIN for GT_UNDEF_INT