mathlib.c