Do not use Checker::Ptr