Can we use `allocb()` or do we expect c_malloc to be just as fast?