Dummy c extension