Could I get an example of the proper syntax of the body of the loop function?

loop macro isn’t very Lispy, so it isn’t really suitable for Ncode. We could add simple loop templates like repeat etc. but this can be done with other functions.