Symbol: CPL_SMT_READ_REQ