wexample_pseudocode
