util/vma: Add a debug print helper