module Sub where

x = [| 1 |]