interface from C to the formal Littlewood-Richardson rule in Ada