Is opts.pra an array that gets populated with all the arguments passed in using --Xpostreview?