stdio is required here for snprintf