fun_insts
