#!/usr/bin/awk -f

/^[ \t]*alias[ \t]+sound[ \t]+/ {
	sound_dev = $3
	next
}

/^[ \t]*alias[ \t]+midi/ {
	midi_dev = $3
	next
}

/^[ \t]*alias[ \t]+char-major-14/ || /^[ \t]*alias[ \t]+sound/ {
	next
}

/^[ \ta-zA-Z0-9-]*install/ || /^[ \ta-zA-Z0-9-]*remove/ || /^[ \t]*options/ {
	if ($2 != sound_dev && $2 != midi_dev)
		print $0
	next
}

{  
	print $0
}