Init: explores record syntax