generate Void->Void correctly