packing, unpacking cucsauth code typechecks.