regen with ELF. Still works OK.

This commit is contained in:
jtk 1999-09-04 22:26:21 +00:00
parent f3421bec94
commit 41360ce4ff
1 changed files with 70 additions and 71 deletions

View File

@ -1,79 +1,78 @@
/* $NetBSD: biostramp.inc,v 1.2 1998/08/31 23:52:58 jtk Exp $ */
/* $NetBSD: biostramp.inc,v 1.3 1999/09/04 22:26:21 jtk Exp $ */
/* This file is automatically generated by bin2asm.sh */
/* Original file is 'biostramp' */
/* Original file is 'biostramp.bin' */
.byte 0x55, 0x89, 0xe5, 0x56, 0x57, 0x53, 0x1e, 0x06
.byte 0x0f, 0xa0, 0x0f, 0xa8, 0x8b, 0x45, 0x08, 0x66
.byte 0xa3, 0xe0, 0x1f, 0x00, 0x00, 0x8b, 0x5d, 0x0c
.byte 0x8b, 0x03, 0xa3, 0x84, 0x1f, 0x00, 0x00, 0x8b
.byte 0x43, 0x04, 0xa3, 0x80, 0x1f, 0x00, 0x00, 0x8b
.byte 0x43, 0x08, 0xa3, 0x7c, 0x1f, 0x00, 0x00, 0x8b
.byte 0x43, 0x0c, 0xa3, 0x78, 0x1f, 0x00, 0x00, 0x8b
.byte 0x43, 0x10, 0xa3, 0x74, 0x1f, 0x00, 0x00, 0x8b
.byte 0x43, 0x14, 0xa3, 0x70, 0x1f, 0x00, 0x00, 0x8b
.byte 0x4b, 0x18, 0x9c, 0x58, 0x25, 0x2a, 0xf1, 0xff
.byte 0xff, 0x81, 0xe1, 0xd5, 0x0c, 0x00, 0x00, 0x09
.byte 0xc8, 0xa3, 0x6c, 0x1f, 0x00, 0x00, 0x9c, 0x0f
.byte 0x01, 0x05, 0xf0, 0x1f, 0x00, 0x00, 0x8b, 0x35
.byte 0xf2, 0x1f, 0x00, 0x00, 0xbf, 0x88, 0x1f, 0x00
.byte 0x00, 0xb9, 0x58, 0x00, 0x00, 0x00, 0xfc, 0xf3
.byte 0xa4, 0x66, 0xc7, 0x05, 0xea, 0x1f, 0x00, 0x00
.byte 0x57, 0x00, 0xc7, 0x05, 0xec, 0x1f, 0x00, 0x00
.byte 0x88, 0x1f, 0x00, 0x00, 0x0f, 0x01, 0x15, 0xea
.byte 0x1f, 0x00, 0x00, 0xfa, 0x0f, 0x01, 0x0d, 0xf6
.byte 0x1f, 0x00, 0x00, 0x89, 0x25, 0xe6, 0x1f, 0x00
.byte 0x00, 0x89, 0x2d, 0xe2, 0x1f, 0x00, 0x00, 0xbc
.byte 0x58, 0x1f, 0x00, 0x00, 0xbd, 0x00, 0x00, 0x00
.byte 0x00, 0x0f, 0x20, 0xd8, 0xa3, 0xfc, 0x1f, 0x00
.byte 0x00, 0x0f, 0x20, 0xc0, 0x25, 0xff, 0xff, 0xff
.byte 0x7f, 0x0f, 0x22, 0xc0, 0x31, 0xc0, 0x0f, 0x22
.byte 0xd8, 0x66, 0xbb, 0x50, 0x00, 0x66, 0x8e, 0xdb
.byte 0x66, 0x8e, 0xc3, 0x66, 0x8e, 0xe3, 0x66, 0x8e
.byte 0xeb, 0xea, 0xe0, 0x10, 0x00, 0x00, 0x48, 0x00
.byte 0x0f, 0x20, 0xc0, 0x66, 0x83, 0xe0, 0xfe, 0x0f
.byte 0x22, 0xc0, 0x66, 0xea, 0xf2, 0x00, 0x00, 0x00
.byte 0x00, 0x01, 0x31, 0xc0, 0x66, 0x8e, 0xd0, 0x66
.byte 0x8c, 0xc8, 0x66, 0x8e, 0xc0, 0x66, 0x8e, 0xe0
.byte 0x66, 0x8e, 0xe8, 0x66, 0x8e, 0xd8, 0x67, 0x0f
.byte 0x01, 0x1d, 0x30, 0x02, 0x00, 0x00, 0x67, 0x66
.byte 0x8b, 0x3d, 0x70, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x8b, 0x35, 0x74, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x8b, 0x15, 0x78, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x8b, 0x0d, 0x7c, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x8b, 0x1d, 0x80, 0x0f, 0x00, 0x00, 0x67, 0x8a
.byte 0x05, 0xe0, 0x0f, 0x00, 0x00, 0x67, 0x88, 0x05
.byte 0x5d, 0x01, 0x00, 0x00, 0x66, 0xea, 0x4c, 0x01
.byte 0x00, 0x00, 0x00, 0x01, 0x67, 0x66, 0xa1, 0x6c
.byte 0x0f, 0x00, 0x00, 0x50, 0x9d, 0x67, 0x66, 0xa1
.byte 0x84, 0x0f, 0x00, 0x00, 0xcd, 0xff, 0x9c, 0x67
.byte 0x66, 0xa3, 0x84, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x89, 0x1d, 0x80, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x89, 0x0d, 0x7c, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x89, 0x15, 0x78, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x89, 0x35, 0x74, 0x0f, 0x00, 0x00, 0x67, 0x66
.byte 0x89, 0x3d, 0x70, 0x0f, 0x00, 0x00, 0x58, 0x67
.byte 0x66, 0xa3, 0x6c, 0x0f, 0x00, 0x00, 0xfa, 0x0f
.byte 0x20, 0xc0, 0x66, 0x83, 0xc8, 0x01, 0x0f, 0x22
.byte 0xc0, 0x66, 0xea, 0xa9, 0x11, 0x00, 0x00, 0x08
.byte 0x00, 0x66, 0xbb, 0x10, 0x00, 0x66, 0x8e, 0xdb
.byte 0x66, 0x8e, 0xd3, 0x66, 0x8e, 0xc3, 0xa1, 0xfc
.byte 0x1f, 0x00, 0x00, 0x0f, 0x22, 0xd8, 0x0f, 0x20
.byte 0xc0, 0x0d, 0x00, 0x00, 0x00, 0x80, 0x0f, 0x22
.byte 0xc0, 0x0f, 0x01, 0x15, 0xf0, 0x1f, 0x00, 0x00
.byte 0x8b, 0x25, 0xe6, 0x1f, 0x00, 0x00, 0x8b, 0x2d
.byte 0xe2, 0x1f, 0x00, 0x00, 0x0f, 0x01, 0x1d, 0xf6
.byte 0x1f, 0x00, 0x00, 0x8b, 0x5d, 0x0c, 0xa1, 0x84
.byte 0x1f, 0x00, 0x00, 0x89, 0x03, 0xa1, 0x80, 0x1f
.byte 0x00, 0x00, 0x89, 0x43, 0x04, 0xa1, 0x7c, 0x1f
.byte 0x00, 0x00, 0x89, 0x43, 0x08, 0xa1, 0x78, 0x1f
.byte 0x00, 0x00, 0x89, 0x43, 0x0c, 0xa1, 0x74, 0x1f
.byte 0x00, 0x00, 0x89, 0x43, 0x10, 0xa1, 0x70, 0x1f
.byte 0x00, 0x00, 0x89, 0x43, 0x14, 0xa1, 0x6c, 0x1f
.byte 0x00, 0x00, 0x89, 0x43, 0x18, 0x9d, 0x0f, 0xa9
.byte 0x0f, 0xa1, 0x07, 0x1f, 0x5b, 0x5f, 0x5e, 0xc9
.byte 0xc3, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
.byte 0x8b, 0x43, 0x00, 0xa3, 0x84, 0x1f, 0x00, 0x00
.byte 0x8b, 0x43, 0x04, 0xa3, 0x80, 0x1f, 0x00, 0x00
.byte 0x8b, 0x43, 0x08, 0xa3, 0x7c, 0x1f, 0x00, 0x00
.byte 0x8b, 0x43, 0x0c, 0xa3, 0x78, 0x1f, 0x00, 0x00
.byte 0x8b, 0x43, 0x10, 0xa3, 0x74, 0x1f, 0x00, 0x00
.byte 0x8b, 0x43, 0x14, 0xa3, 0x70, 0x1f, 0x00, 0x00
.byte 0x8b, 0x4b, 0x18, 0x9c, 0x58, 0x25, 0x2a, 0xf1
.byte 0xff, 0xff, 0x81, 0xe1, 0xd5, 0x0c, 0x00, 0x00
.byte 0x09, 0xc8, 0xa3, 0x6c, 0x1f, 0x00, 0x00, 0x9c
.byte 0x0f, 0x01, 0x05, 0xf0, 0x1f, 0x00, 0x00, 0x8b
.byte 0x35, 0xf2, 0x1f, 0x00, 0x00, 0xbf, 0x88, 0x1f
.byte 0x00, 0x00, 0xb9, 0x58, 0x00, 0x00, 0x00, 0xfc
.byte 0xf3, 0xa4, 0x66, 0xc7, 0x05, 0xea, 0x1f, 0x00
.byte 0x00, 0x57, 0x00, 0xc7, 0x05, 0xec, 0x1f, 0x00
.byte 0x00, 0x88, 0x1f, 0x00, 0x00, 0x0f, 0x01, 0x15
.byte 0xea, 0x1f, 0x00, 0x00, 0xfa, 0x0f, 0x01, 0x0d
.byte 0xf6, 0x1f, 0x00, 0x00, 0x89, 0x25, 0xe6, 0x1f
.byte 0x00, 0x00, 0x89, 0x2d, 0xe2, 0x1f, 0x00, 0x00
.byte 0xbc, 0x58, 0x1f, 0x00, 0x00, 0xbd, 0x00, 0x00
.byte 0x00, 0x00, 0x0f, 0x20, 0xd8, 0xa3, 0xfc, 0x1f
.byte 0x00, 0x00, 0x0f, 0x20, 0xc0, 0x25, 0xff, 0xff
.byte 0xff, 0x7f, 0x0f, 0x22, 0xc0, 0x31, 0xc0, 0x0f
.byte 0x22, 0xd8, 0x66, 0xbb, 0x50, 0x00, 0x66, 0x8e
.byte 0xdb, 0x66, 0x8e, 0xc3, 0x66, 0x8e, 0xe3, 0x66
.byte 0x8e, 0xeb, 0xea, 0xe1, 0x10, 0x00, 0x00, 0x48
.byte 0x00, 0x0f, 0x20, 0xc0, 0x66, 0x83, 0xe0, 0xfe
.byte 0x0f, 0x22, 0xc0, 0x66, 0xea, 0xf3, 0x00, 0x00
.byte 0x00, 0x00, 0x01, 0x31, 0xc0, 0x66, 0x8e, 0xd0
.byte 0x66, 0x8c, 0xc8, 0x66, 0x8e, 0xc0, 0x66, 0x8e
.byte 0xe0, 0x66, 0x8e, 0xe8, 0x66, 0x8e, 0xd8, 0x67
.byte 0x0f, 0x01, 0x1d, 0x30, 0x02, 0x00, 0x00, 0x67
.byte 0x66, 0x8b, 0x3d, 0x70, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x8b, 0x35, 0x74, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x8b, 0x15, 0x78, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x8b, 0x0d, 0x7c, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x8b, 0x1d, 0x80, 0x0f, 0x00, 0x00, 0x67
.byte 0x8a, 0x05, 0xe0, 0x0f, 0x00, 0x00, 0x67, 0x88
.byte 0x05, 0x5e, 0x01, 0x00, 0x00, 0x66, 0xea, 0x4d
.byte 0x01, 0x00, 0x00, 0x00, 0x01, 0x67, 0x66, 0xa1
.byte 0x6c, 0x0f, 0x00, 0x00, 0x50, 0x9d, 0x67, 0x66
.byte 0xa1, 0x84, 0x0f, 0x00, 0x00, 0xcd, 0xff, 0x9c
.byte 0x67, 0x66, 0xa3, 0x84, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x89, 0x1d, 0x80, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x89, 0x0d, 0x7c, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x89, 0x15, 0x78, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x89, 0x35, 0x74, 0x0f, 0x00, 0x00, 0x67
.byte 0x66, 0x89, 0x3d, 0x70, 0x0f, 0x00, 0x00, 0x58
.byte 0x67, 0x66, 0xa3, 0x6c, 0x0f, 0x00, 0x00, 0xfa
.byte 0x0f, 0x20, 0xc0, 0x66, 0x83, 0xc8, 0x01, 0x0f
.byte 0x22, 0xc0, 0x66, 0xea, 0xaa, 0x11, 0x00, 0x00
.byte 0x08, 0x00, 0x66, 0xbb, 0x10, 0x00, 0x66, 0x8e
.byte 0xdb, 0x66, 0x8e, 0xd3, 0x66, 0x8e, 0xc3, 0xa1
.byte 0xfc, 0x1f, 0x00, 0x00, 0x0f, 0x22, 0xd8, 0x0f
.byte 0x20, 0xc0, 0x0d, 0x00, 0x00, 0x00, 0x80, 0x0f
.byte 0x22, 0xc0, 0x0f, 0x01, 0x15, 0xf0, 0x1f, 0x00
.byte 0x00, 0x8b, 0x25, 0xe6, 0x1f, 0x00, 0x00, 0x8b
.byte 0x2d, 0xe2, 0x1f, 0x00, 0x00, 0x0f, 0x01, 0x1d
.byte 0xf6, 0x1f, 0x00, 0x00, 0x8b, 0x5d, 0x0c, 0xa1
.byte 0x84, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x00, 0xa1
.byte 0x80, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x04, 0xa1
.byte 0x7c, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x08, 0xa1
.byte 0x78, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x0c, 0xa1
.byte 0x74, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x10, 0xa1
.byte 0x70, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x14, 0xa1
.byte 0x6c, 0x1f, 0x00, 0x00, 0x89, 0x43, 0x18, 0x9d
.byte 0x0f, 0xa9, 0x0f, 0xa1, 0x07, 0x1f, 0x5b, 0x5f
.byte 0x5e, 0xc9, 0xc3, 0x90, 0x8d, 0x74, 0x26, 0x00
.byte 0xff, 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
.byte 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
/* Total size = 568 -> 576 */
/* Total size = 566 -> 568 */
/* End of File */