simulator: slightly shorter code to match register names