executable showing the bug