php 5.3 feature - goto