+ exception/pragma_init_with_same_number