#printf evaluates "%", but we do not need this