Work toward running tinyjs.

Also added sample13 as a case where better debug output would be good.