very simple record example runs correctly