_INT_NO_CHECKVELOCITIES 1006 SMC_Check [...] _PRS_FUNC_DECL_WRONG_ARGUMENT_TYPE 1152 Check of [...] (invalid size or pointer