int ext3() { return 1; }