Create int_ext