checkin (inf loop in bin-search tho)