<0x7f35c0a5b000>(File <0x7ffc216dec90>)
{
  ubyte[4] <0x7ffc216dec14> = new ubyte[4];
  <0x7ffc216dec90>.rawRead(<0x7ffc216dec14>);
  <0x7f35c0a5b010> = ((((<0x7ffc216dec14> << 24) | <0x7ffc216dec15> << 16) | <0x7ffc216dec16> << 8) | <0x7ffc216dec17>);
}
<0x7f35c0a5b000>.Validate()
{
  assert (<0x7f35c0a5b010> == 0xCAFEBABE);
}

class Magic:
  def __init__(self, class_file):
    self.rValue = struct.unpack(">I", class_file.read(4))[0]
    assert self.rValue == 3405691582  # 0xCAFEBABE

  def __repr__(self):
    return "%s" % dict(Magic=0xCAFEBABE)