FIXED: Initialize special labels. E.g. label 3 is the param_stack0000 == EIP on stack.