FMT1!

:(str alist col channel state evisc) => (mv col state)
Major Section:  ACL2-BUILT-INS

This function is nearly identical to fmt1; see fmt1. The only difference is that fmt1 may insert backslash (\) characters when forced to print past the right margin in order to make the output a bit clearer in that case. Use fmt1! instead if you want to be able to read the forms back in.