Program Transformation(2)
TranslateInitializer()
to get object information (size, type..)
TranslateAssign()
to insert access checking
FinalizeInstance()
adds initialize, finalize routine
allocate / free memory and objects
initialize memory management tables
main routine(sdsm_main()) invocation