adjust the type for pack_value/1 it now passes dialyzer and proper