sat

key is an object with an id. store can be kept inside other objects. copy can be duplicated. drop can be thrown away.

• SATdrop

  dummy_field	bool

Constants are shown the way the code loads them. Bytecode does not keep their names.