Fix attempt 3 to item #19. Explicit register specification should not clobber default register