pi := 4 * arctan(1);