SELECT CAST(1 AS Int8);
SELECT CAST(1, 'Int8');
