+
+two :: [Char] [[Char]] -> ((Map Int Int) -> Map Int Int)
+two _ [['mask = ':mask]:xs] = two mask xs
+two mask [['mem[':rest]:xs]
+ = case span isDigit rest of
+ (addr, ['] = ':val])
+ = foldl (o) (two mask xs)
+ [ 'DM'.put (fromBin addr) $ toInt $ toString val
+ \\addr<-mkAddrs $ zipWith aMask mask $ toBin $ toInt $ toString addr]
+where
+ aMask :: Char Char -> Char
+ aMask 'X' _ = 'X'
+ aMask '1' _ = '1'
+ aMask '0' c = c
+
+ mkAddrs :: [Char] -> [[Char]]
+ mkAddrs ['X':msk] = mkAddrs ['1':msk] ++ mkAddrs ['0':msk]
+ mkAddrs [c:msk] = map (\x->[c:x]) $ mkAddrs msk
+ mkAddrs [] = [[]]
+two mask [[]:xs] = two mask xs
+two mask [] = id