PicoC: A very small C interpreter