Define the function WAIT of the DISK API.