val tmp_dir : string ref
swap file directory: the default is /tmp, but note that it is often the case that /tmp is not enought large for some huge images!!
val new_tmp_file_name : string -> string
new_swap_file_name prefix returns a new swap file name with
Go to the first, previous, next, last section, table of contents.