src/lib/libm/gen