wacc example programs and language spec for wacc language