верно, и внутренний цикл (по битам) разворачивается оптимизатором