/* Get this device number in the simulation, as it is known in the overall simulation. In general this is the device number you want  */
unsigned int bsim_args_get_global_device_nbr(void)
/* Get this device number in the simulation, as it is known in the overall simulation. In general this is the device number you want  */
unsigned int bsim_args_get_global_device_nbr(void)
{
	return global_args.global_device_nbr;
}