Sentinel: dead code removed.