Tiny fix: auxiliary registers not reused across methods