
     **********************************************************
     *  ACHTUNG: EFUN EXISTIERT NICHT MEHR! NICHT VERWENDEN!  *
     **********************************************************

SYNOPSIS:
	int widthof(mapping map)

DESCRIPTION:
	Return the number of values per index in mapping 'map'. It means
	the width of the mapping 'map'.

SEE ALSO:
	mappingp(E), mkmapping(E), m_indices,(E) m_values(E),
	m_delete(E), sizeof(E)