spec4: modify before code