Debug annotations work for str-to-core
Working on annotations in core-to-java