Record syntax.