1  contract ValueOnErr =
2  
3    entrypoint err() : int =
4      switch(0) 1 => 5
5  
6    entrypoint ok() : int =
7      11