Adding SharC annotations. Type checker off