Update ntokens.hpp