=== Building arith_proof ===
BUILD_EXIT=0
=== Building trigger ===
BUILD_EXIT=0
=== Build complete ===
-rwxr-xr-x  1 maxx  maxx  9712 Aug  8 20:53 arith_proof
-rwxr-xr-x  1 maxx  maxx  8312 Aug  8 20:53 trigger