let make_constant_value r c t =
        let v = (match classify ctx t, c with
        | _, None -> HVNone
        | (KInt | KFloat | KUInt | KBool) as kind, Some c ->
            (match c with
            | TInt i -> if kind = KUInt then HVUInt i else HVInt i
            | TFloat s -> HVFloat (float_of_string s)
            | TBool b -> HVBool b
            | TNull -> error ("In Flash9, null can't be used as basic type " ^ s_type (print_context()) t) p
            | KType(HMPath([],"String")), (Some (TString s)) -> HVString s
            | _ -> assert false)
        | _, Some TNull -> HVNone