michael@0: {
michael@0:   local:
michael@0:     __aeabi*;
michael@0: };