Added function assign_Int and some minor modifications