These tests check runtime behavior, so the test programs are executed
after compilation.