Missing part of allocsa -> malloca transition.