class Sexp::PTime