trap and missing positive int