Added supported for disas64 formatter