void *sf_realloc (void* ptr /* previous data */, size_t n /* number of elements */, size_t size /* size of one element */) /*< output-checking reallocation >*/ { ... }