{
  local:
    __aeabi*;
};