An interpreter and C-translator of Whitespace