/src/mint/test_mint