investigating init interleaving