Adding a failing test for record initialization