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:28,3--7: Warning: unknown annotation `inter`.
syntax_annotations3.nit:33,16--18: Warning: unknown annotation `u32`.
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`.
syntax_annotations3.nit:38,28--35: Warning: unknown annotation `readable`.
syntax_annotations3.nit:38,38--45: Warning: unknown annotation `initable`.
syntax_annotations3.nit:38,48--56: Warning: unknown annotation `fast_init`.
syntax_annotations3.nit:42,20--28: Warning: unknown annotation `unchecked`.