# Caa Generate Beef bindings out of C headers