add "assert nt != null;"