A simple SNL complier