tok_recordDecl