Title: C libraries for Ramsaver