core.v 973 Bytes