{
	global:
		LINKER_SYMBOL_PREFIXast_*;
	local:
		*;
};