Create procedures.t