stdIn :: Word32 -> Exp Word32 -> Exp Word32 
stdIn n tix  = (bid*(fromIntegral n)) + tix
stdIn :: Word32 -> Exp Word32 -> Exp Word32
stdIn n tix  = (bid*(fromIntegral n)) + tix
stdIn n tix  = (bid*(fromIntegral n)) + tix