Symbol: pl_prims