/* CIVL model of math.h */

$abstract double sqrt(double x);

$abstract double ceil(double x);

$abstract double exp(double x);