/* sem layout extra */