.. comment: generated by t_lint_pkgnodecl_bad .. code-block:: %Error-PKGNODECL: example.v:1:12 Package/class 'Pkg' not found, and needs to be predeclared (IEEE 1800-2023 26.3)