Add .mli file for nastInitCheck