How to add a new library function to ProbCompCert? Add the C implementation to stanlib.c and declare it in stanlib.h Add the function to the Stan library elaboration