state %record = %{empty_record()};
state %record = %{&empty_record};
state %record = %{&empty_record()};