//BOT: Do not delete EVER! qualif Bot(v:@(0)) : 0 = 1 qualif Bot(v:obj) : 0 = 1 qualif Bot(v:a) : 0 = 1 qualif Bot(v:bool) : 0 = 1 qualif Bot(v:int) : 0 = 1