A very small C interpreter