func readprog(b *bufio.Reader, p *liblink.Prog) {
if !undef[p] {
panic("double-def")
}
delete(undef, p)
p.Pc = rdint(b)
p.Lineno = int(rdint(b))
p.Link = rdprog(b)
p.As = int(rdint(b))
p.Reg = int(rdint(b))
p.Scond = int(rdint(b))
p.Width = int8(rdint(b))
readaddr(b, &p.From)
readaddr(b, &p.To)
}