Foo.kt bytecode

Compiled from "Foo.kt"
public final class Foo {

  public final int getNumber();
    Code:
       0: aload_0
       1: getfield      #10                 // Field isValid:Z
       4: ifeq          11
       7: iconst_1
       8: goto          12
      11: iconst_0
      12: ireturn
      
  public final boolean isValid();
    Code:
       0: aload_0
       1: getfield      #10                 // Field isValid:Z
       4: ireturn

  [...]
}