first draft of TC_SEC_2000_01

	external function fx_mac( IntegrityAlgo p_integrityAlgo, in octetstring p_key, in octetstring p_message) 

	return octetstring;

	//p_message := SPI & SEQNr & IV & encrypted data

	//* @param 	p_spi Security parameter Index whihc poinst to the SAD to be used

	external function fx_integrity(in UInt31 p_spi, in octetstring p_key, in octetstring p_message) 

	return octetstring;

	/* @desc 	This external function runs the MobileHeader through Codec and returns 

	 *			the octetstring representing the MobileHeader

	 *