src/machinetalk/halpb.hh: delete unused code