typedef_scope.v 538 Bytes