def do_while_loop(printer, ast):
    """Prints "do {body} while (cond)"."""
    cond_str = printer.ast_to_string(ast["cond"])
    body_str = printer.ast_to_string(ast["body"])
    return f'do {body_str} while ({cond_str});'