Also include string.h for strlen for C backend