#include extern "C" { int mdb_ (char *, int); } inline int mdb (char *s) {return mdb_ (s, strlen (s));};