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

int do_while_znak();