test_tok_recordDecls [dev.]