maxima, C.