---
source: tests/run.rs
expression: rust_output
input_file: examples/sum_rec/main.hvm
---
Result: 16252928