Create first-missing-positive.h