Assert the right program_counter starting point