SafeDec: Constrained Decoding | Pangram Labs