During initialization, the type

to the initial step, followed

to the initial step, followed

_START Initial state Tries

are the initial point

=0.0.0.0). Initial state ("Reset

trace initially [...] initially : The trace is initially halted

Type Initial Value [...] Initial Value

into an initial step

initialization of the C code