# Maximum identifier for socket families
	new pf_max `{ return PF_MAX; `}