Open a new branch
Initial (incomplete) Javascript semantics