proc_a, proc_b add push instruction for testing