/*non-debugging version*/
		/*non-reentrant*/