Minimal code to reproduce