instruction_partition()