Sketch a C interface to Sky