let null_variable_attribute =
    {
      original_name = None;
      variable_type = type_void;
      storage_class = Register
    }