minor: maybe `DEFAULT_OUTPUT_FILE_NAME` for slightly increased clarity