/* these ones live in str.h, but redeclare them here so that we do
not need to load the whole str.h and its heavy dependencies */
/* these ones live in str.h, but redeclare them here so that we do
not need to load the whole str.h and its heavy dependencies */