/* ISC license. */

#include <string.h>
int main () { return strnlen("/", 1) ; }