No match for "lean ada0 ready". 2 match(es) for "lean (ada 0) ready".