declare fun {DelayG Xs} 0|Xs end