// enable-externref