import qualified Data.Vector as U
main = print (U.length (U.replicate 1 (pi :: Float)))