start of sem checker