fix cast_proc