use array as usual in PHP 5.3