code snippet to reproduce #293