Symbol: wstpad_is_stable