Links for infer-c