How to create records with record syntax