// Case insensitive keywords
  Let y be x.
  Add 1 to y. // y += 1
  Suppose y is_greater_than x, then:
    add 1 to x.

    // Integer.maximum in a Java-like language
    // assert x <= Integer.maximum
    swear_by_troth x is_less_than_or_equals (maximum of Integer).
  otherwise:

    // try block
    prithee:

      // "(a|an) type from x" = "type(x)" in Python
      let x1 be a BigInteger from x.
      add 1 to x1.
      call printLine with (a String from x1).
      let n be result_of call getNumInput.
      call printLine with (a String from (x1 divided_by n)).

    // catch (Exception e)
    whereupon_some ZeroDivisionException e:

      // y of x, not x.y
      call print with message of e, length of message of e.

    whereupon_some IOError e:
      call log of IO with message of e, length of message of e.
      raise e.

    // finally
    thenceforth:

      // Equivalent of "delete x1" in C++, except it takes an allocator as an argument
      surrender x1 to common_heap.
    end of attempt.
  end of supposition.