The tcc programming language