Use MAX_KOD_INT define from bkod.h