I've searched the manual for "sleep", "wait", "pause", "delay" and not found any except the pauses of the GC. Does it have a different name or must I load some module?