---
source: tests/run.rs
expression: rust_output
input_file: examples/sort_bitonic/main.hvm
---
Result: 8386560