****** Fatal Error: Void is not a valid target (i.e. just after a dot). Line 17 column 24 in BAD_CALL2 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_call2.e): un_pointer := Void.to_external; ^ ------