gauche-c-wrapper