Symbol: spa_get_worst_case_asize