6 10.000000 9 1 2 from lib.c