return void vs never