module LinkedList.ScenarioGetValueConcrete where

import Data.Records.Yarl.LinkedList
import LinkedList.Type

sumGetValueConcrete :: LinkedListRecord -> Int
sumGetValueConcrete r =
  r.a0 + r.a1 + r.a2 + r.a3 + r.a4 + r.a5 + r.a6 + r.a7 + r.a8 + r.a9 + r.a10 + r.a11 + r.a12 + r.a13 + r.a14 + r.a15 + r.a16 + r.a17 + r.a18 + r.a19 + r.a20 + r.a21 + r.a22 + r.a23 + r.a24 + r.a25 + r.a26 + r.a27 + r.a28 + r.a29 + r.a30 + r.a31 + r.a32 + r.a33 + r.a34 + r.a35 + r.a36 + r.a37 + r.a38 + r.a39 + r.a40 + r.a41 + r.a42 + r.a43 + r.a44 + r.a45 + r.a46 + r.a47 + r.a48 + r.a49 + r.a50 + r.a51 + r.a52 + r.a53 + r.a54 + r.a55 + r.a56 + r.a57 + r.a58 + r.a59 + r.a60 + r.a61 + r.a62 + r.a63