Pretty-print RV3/4 decoder source