rfmt -> recordFormat, rargs -> recordArgs