/** Dump instruction as short code to stream out. */ public void dump(DataOutputStream out) throws IOException { super.dump(out); out.writeShort(b); }