Update after allocsa -> malloca renaming.