platform element added und comment added in sem.c