Document loop
Document basic_block
Document function
Document utility