Myrmecophilus pergandei, an ant cricket (Myrmecophilinae).