pass a set of options to -emit-form