time / update problem

Hello,

what should the following code print?

class MAIN
creation
   make
feature
   make is
      local
         now: TIME
      do
         create c.make
         now.update
         c.never.update  -- is this ever executed???
         io.put_string(c.never.elapsed_seconds(now).out + "%N")
      end
   c: CC
end

class
   CC
creation
   make
feature
   make is do end
   never: TIME
end

In my eyes it should be close to 0, but it seems that the line
c.never.update is never done. Is this an invalid call for some reason or
yet another optimizer bug?

Rapha