
global.nil := {} ;

global.x := global.nil ;
while ? (
    run (λ t.
        t.next := x ;
        t.value := ? ;
        global.x := t ;
        return {}) {}
)


