extern CORD_cat:func(a:Text, b:Text)->Text

func main():
	>> CORD_cat("hello ", "world")
	= "hello world"