specmicp/tests/common

specmicp_bin