Symbol: is_a4000