Support ext/bin/str from spec5 (only fallback.py patch)

Support ext, bin, str.
only small part are support with ext.