fleshing out record syntax