So how do you determine undefined behavior in a language you are reverse engineering?