Just to clarify the third question. i dont mean using nested functions in the ml, but using them while translating ml to c as the gcc compiler doesnt throw any warnings or errors, it works fine.