---
source: tests/golden_tests.rs
input_file: tests/golden_tests/readback_hvm/nested_tup.bend
---
{{1 2} {4 {3 5}}}