P ::= struct {
  x, y:int;
};
main ::= fn() {
	 p:P;
	 x::="y";
	 p[x];
};