SPEC EXAMPLES