So what is `rewrite_complex == None` supposed to do?