The start of symbolic execution.