Reimplement DIMACS printing using blaze-builder