syntax_annotations3.nit:16,2--20: Warning: unknown annotation `invariant`.
syntax_annotations3.nit:19,3--12: Warning: unknown annotation `pre`.
syntax_annotations3.nit:20,3--22: Warning: unknown annotation `post`.
-syntax_annotations3.nit:21,3--19: Warning: unknown annotation `test`.
syntax_annotations3.nit:28,3--7: Warning: unknown annotation `inter`.
syntax_annotations3.nit:33,16--18: Warning: unknown annotation `u32`.
-syntax_annotations3.nit:34,19--36: Warning: unknown annotation `after`.
syntax_annotations3.nit:34,12--36: Warning: unknown annotation `daemon`.
syntax_annotations3.nit:34,3--37: Warning: unknown annotation `ondebug`.
syntax_annotations3.nit:35,3--7: Warning: unknown annotation `final`.