Hello world

Hooking into rustc from rustxi