Utilities for Clang plugin