Augmented JavaScript