syn keyword cAssert 	ASSERT REQUIRES ENSURES

hi def link cAssert	Keyword