Hardcode the target in this testcase — it depends on the ABI.