Init: checking runtime trace