variables. All example \glspl{mTask} are of the type \CI{Task (Main (ByteCode
() Stmt))} and can thus ask for user input first if needed for parameterized
\glspl{mTask}. The bottom panel shows the device information. In this panel,
variables. All example \glspl{mTask} are of the type \CI{Task (Main (ByteCode
() Stmt))} and can thus ask for user input first if needed for parameterized
\glspl{mTask}. The bottom panel shows the device information. In this panel,