add -emit-form*