core.v 972 Bytes