let do_brab = brab <> -1