user process only have a user-provided structure describing its state,
and only compute its next state based on that. Your main() can be as
simple as:
user process only have a user-provided structure describing its state,
and only compute its next state based on that. Your main() can be as
simple as: