# Add code that need to be escaped
	fun add_code(code: String) do
		add code.replace(" ", "\\ ")
	end