Borrow checker (BCHECKER)