    # `Alien` object referred to during the invocation of subsequent bits may *not* be the same, as
    # the `Alien` may have been branched!)
    constructor: constructify(return:@) (@bits...)->
+      @resumptions = @bits.length
    
    complete: -> !this.bits.length
    

   # FIXME: ‘Cloning’ locals ... *isn't*, here. I need to figure out what I want to do with this.
   clone: (to)->
      super to
      to.pristine = @pristine
      to.locals   = @locals

Paws.Alien = Alien = class Alien extends Execution
   

Label::toString = ->
   output = '“'+@alien+'”' + (if @name? then ': '+T.bold @name else '')
   if @_?.tag == no then output else '['+(@constructor.__name__ or @constructor.name)+' '+output+']'

Execution::toString = ->
   output = Thing.inspectID(this) +
      (if @name? then ': '+T.bold @name else '') +
      (if @resumptions? then new Array(@resumptions - @bits.length).join('()') else '')
   if @_?.tag == no then output else '['+(@constructor.__name__ or @constructor.name)+' '+output+']'
