node trivial_array(x:bool) returns (y: bool^2);
let
	y = [x,x];
tel