# it is a very long source line, but a source line indeed, for test reasons
coq-elpi source: very-long-line-length-in-source-file theories/attic/test_CoqEAL.v line 69 is 4269 characters long (>512)
