stack frame size is whatever STARS annotations say (which may differ from P1 notion of stack frame size) Former-commit-id: f3c1b526c3c26de9a5119fb1fd8d244dc9813207