//
// Created by bruno on 12/18/23.
//


int for_cyklus();