AFAICS this will fail in PHP < 5.5