ecma_date_utc (ecma_number_t time) /**< time value */
{
  return time - jerry_port_get_local_time_zone_adjustment (time, false);
} /* ecma_date_utc */
ecma_date_utc (ecma_number_t time)  
{
  return time - jerry_port_get_local_time_zone_adjustment (time, false);
}  