All $values expressions go through allocate-values