To make sure that size_t is defined