patmos: STC encoding change