Add examples/hlevel and bug fixes