get rid of swfdec_as_value_to_debug()