cast to void* which pleases -Wformat