all.v 584 Bytes