add quickref
fix emit-form for case*