cast size_t so printf likes it