use more sensitive names in hazelnut.js
[myslice.git] / debug_platform / __init__.py