Updated es3.c