File size: 32 Bytes
be11144
1
2
     CHECK: pi is around 3.1415