ivory-stdlib: fix incorrect type in support c code