Symbol: algname_is_allocated