⁴⁹The mpopt may be empty if ext2int() is called manually without providing it.