Update nast.hpp