use more sensitive names in hazelnut.js