Create mathlib.c