Working on formalizing decode constants