allocate (a (10))