define macros VSMC_INT64