# ============================================================ #
# Generate data for GetBit method
#
# Data file format:
#
#     GetBit <ln> <bit#> <bit value>
#
# ============================================================ #
# avoid confusion when setting the bases
#
base10=10
base16=16
# ============================================================ #
ibase=base16
x=1000000000000
ibase=base10
for( y=0 ; (2^y)<x ; y++ )
{
  print "GetBit ", x, " ", y, " ", 0, "\n"
}
ibase=base16
x=1FFFFFFFFFFFF
ibase=base10
for( y=0 ; (2^y)<x ; y++ )
{
  print "GetBit ", x, " ", y, " ", 1, "\n"
}