echo \"`m4`\"