Record syntax examples