first_spec.mod 396 Bytes