Sample code to reproduce bug