finally using STDC's own id/token