Extra arg for rtx_varies_p