Introduce a crummy way to deal with the primary list, as Int * cannot be streamed...