* ralloc.h: missing declarations from previous patch,