Neal Stephenson Wants to Receive Green Card When DOMA Is Struck Down by Corporate Congress