Symbol: fs32_add