function do_test(IntlTimeZone $tz, $proc = false)
{
    var_dump($tz->getID(), $tz->getRawOffset());
    if (!$proc) {
        $dtz = $tz->toDateTimeZone();
    } else {
        $dtz = intltz_to_date_time_zone($tz);
    }
    var_dump($dtz->getName(), $dtz->getOffset(new DateTime('2012-01-01 00:00:00')));
}