Design and Implementation of S