int ext_unknown();