Writing an actual decoder spec