executable_semantics/testdata/undef1.6c:8: syntax error