/aarch64/full/
../
decode.sail
spec.sail