use the C implementation in the frontend