Symbol: CPL_SMT_WRITE_RPL