clone from jslint-lite c42fc347ca6d0ead8b4af959cebd3e5a4b47df53