A simple interpreter of