public void Reset()
{
// nothing happens with memory
// we do not reset segments (as we do in init), since we do in init only
// to have deterministic behaviour (i.e. given script executed two times will
// give the same results; not zeroing during reset will however is not necessary
// (starting values are not random anyway)
}