@ -2122,7 +2122,7 @@
const_type (get syp (+ 3 idx_const)),
const_value (get syp (+ 5 idx_const)),
]
(assoc-in amb [4 1 1] [const_name ['const const_type] const_value])
(assoc-in amb [4 1 (count (get ctx 1))] [const_name ['const const_type] const_value])
)