https://123dok.net/document/ozlv6j6y-user-manual-safir-computer-program-analysis-structures-subjected.html