v0.1.4 {
	global:
		swfdec_decoder_*;
		swf_init;
		swf_addbits;
		swf_parse;
	local:
		*;
};