presto-main/src/main/java/io/prestosql/type/TimestampWithTimeZoneOperators.java/TimestampWithTimeZoneOperators/castToSlice
class TimestampWithTimeZoneOperators:    @ScalarOperator(CAST)
    @LiteralParameters("x")
    @SqlType("varchar(x)")
    public static Slice castToSlice(@SqlType(StandardTypes.TIMESTAMP_WITH_TIME_ZONE) long value)
    {
        return utf8Slice(printTimestampWithTimeZone(value));
    }