ASDF for TinyProbe