represented in a format whose specification is available to the