all: zhtta

zhtta: 
	rustc zhtta.rs