Changed picoc_def_int to picoc_def_integer.