20-sim 4.2 reference manual by