add type Void