256 /* c: processor-set ID */