Revert "Less prima debugging"

This reverts commit d09415e98ecd11e8eec896bfda40bcc3af524d12.