>>399
そんな議論は10年近く前に終って、void pop(void);になった。