framework/resources/Functional/limit0/datetime/data/datetime67.q

select cast(c_row as int), extract(Second from cast(c_time as time)) from basic;