make_qemu_sessionfile_name
$sessfile = make_qemu_sessionfile_name($idx);
$sessfile = make_qemu_sessionfile_name($idx);
$sessfile = make_qemu_sessionfile_name($idx);
$sessfile = make_qemu_sessionfile_name($idx);
$sessionfile = make_qemu_sessionfile_name($qemuidx);