.. comment: generated by t_assert_comp_bad
.. code-block::
-Info: example.v:1:5 User elaboration-time info