Probing Program Initialization