Three-address_code loading ...