registering symbolic hyperthreads; EOF;