x ≜ 5;
x(1);