hal2chain should be somewhat better