executable; also update test_out