added def_int and def_int_ip