assert file