Clang with type annotations