hypothetical example code in wejal