Use record syntax