// 8 june 2019
// requires: alloc_header.h
#include "start.h"
extern char *sharedbitsPrefixName(Strdup)(const char *s);
#include "end.h"