javaのデフォルトなどがこれに準じている。