expose strlen from Foreign.C.String