gildas/kernel/lib/gcont
