_INT_NO_CHECKVELOCITIES 1006 SMC_Check [...] _PRS_FUNC_DECL_WRONG_ARGUMENT_TYPE 1152 Check [...] number is unknown. SMC_DEC_INVALID_SYNTAX