Use stddef.h for size_t for bare metal and linux, unix