+ ./$< tests/Static6 | grep mainresult
+ @printf "should be: 0x%08x\n" 0x33
+ ./$< tests/Static7 | grep mainresult
+ @printf "should be: 0x%08x\n" $$((0x1337 + 0x555))
+ ./$< tests/Static8 | grep mainresult
+ @printf "should be: 0x%08x 0x%08x\n" 0x33 $$((0x1337 + 0x555))