WIP on ProDBG integration