[Contract]: Contract

[Interface]:
-() [hello]
	* Inputs:
	{
		env: Env
		value: String
	}
	* Instructions:
		$
			{ id: 0, instruction: print, input: (env, "Hello {}", value), scope: 0 }
		$
:[Interface]