Update NIL.hpp