{
	type="sound",
	extern="a.ogg"
}