how do you initialize the debug buffer to 32000?

When running a SecureXL debug how do you initialize the debug buffer to 32000?

A.
fwaccel dbg –buf 32000

B.
fwaccel debug –buf 32000

C.
fw ctl debug –buf 32000

D.
sim debug –buf 32000