[shadow channel]: modifying init.c to have an appropriate call pattern, as in #2