Tcl_GetIntFromObj • man page