Lowering for record operations