path: root/tvix/eval/src/tests/tvix_tests/eval-okay-arithmetic-int.exp

{ add = 20; div = 3; mul = 8; sub = 15; }