partial implementation of new debuginfo. still kludgy