Mini Spec for JavaScript