{-# LANGUAGE OverloadedStrings #-} module Main where import Mate.X86CodeGen main :: IO () main = test_01