Sample code to reproduce issue #52