demo to reproduce HiPE bug