verified examples run in js, some updated