rdoc for instruction list