*.exe pbrex test_vector