Microsoft's SAL is an inline, source level API annotation language, commonly used to document WinAPI and various Microsoft projects.