Importing support for data in programs from x86proved.