pack.h: define largest possible encoded object size