Code used to reproduce vagrant issue #3836