compact_start args check