\newcommand{\PublisherDomain}{mpabi}
\newcommand{\CardArea}{inf}
\newcommand{\CardSeries}{rv32i-asm}
\newcommand{\CardNumber}{04}
\newcommand{\CardSlug}{decoder}
\newcommand{\CardVersion}{v00.01}
\newcommand{\DocumentUUID}{f95c41db-8abd-5623-b40d-743cc19eb469}
