use VSMC_SEED_RESULT_TYPE macro instead of VSMC_SEED_TYPE