Insert variable into Header Location PHP

Siapa tau ada yang butuh, cara menambahkan 
variabel ke fungsi header('location: ').
Seperti ini modelnya:
header('Location: http://tujuan-link.com?
var1='.$var1.'&var2='.$var2.'&var3'.$var3);

Contoh:
header('location:siswa.php?menu=tuntunanrinc&user_id='.$id_user.
'&praktikumid='.$_GET[praktikumid]);

Semoga bermanfaat.