Inst : LibType := (a:=1, b
DayOfWeek UINT Day of Week: 1
Day of Week: 1
month: 1: January
ARRAY [0..1] OF
in bytes (1, 2, or
.NumElems()-1. Return Path
_Q_BOUNDARIES qramp1 SMC
.NUM_ABORTING_PATH_ELEMS-1] OF Aborting
