テストコードは PushNumberしかできない