The debugger calls more or less the following code


local
    int: INTERNAL
    a: ANY
do
    create int
    i := int.dynamic_type_from_string ("SPECIAL [INTEGER_32]")
    a := int.new_special_any_instance (i, 12)

So it seems, we would need a new_special_XYZ_instance (...)

any idea ?