Hello world!
3
The length of [1; 2; 3] is 3
Standard_0	=	[1] {
    (no name)	=	<abstr:247>
}