added DESIGN and added ticket variable to process struct in schedproc.h