Macro - whileSome: none:

[markprocess]

Can a macro implement
    
    
    whileSome proc1():
        proc2()
    none:
        proc3()

where proc2 is called while proc1() is true but proc3 is called if proc1() 
evaluates false on the first attempted iteration?