First local value is RBP-8, not RBP-0