SELECT 1 as x;