/* ---------------------------------------------------------------------- */

#define ns__aproc0 "::aproc"
static void c__aproc0(int x)
{

}

static int
tcl__aproc0(ClientData cd, Tcl_Interp *interp, int oc, Tcl_Obj *CONST ov[])
{
  int _x;

  critcl_trace_cmd_args (ns__aproc0, oc, ov);

  if (oc != 2) {
    Tcl_WrongNumArgs(interp, 1, ov, "x");
    return critcl_trace_cmd_result (TCL_ERROR, interp);
  }

  /* (int > 0 x) - - -- --- ----- -------- */
	{
	{
	if (Tcl_GetIntFromObj(interp, ov[1], &_x) != TCL_OK) return critcl_trace_cmd_result (TCL_ERROR, interp); }
/* Range check, assert (x > 0) */
if (!(_x > 0)) {
    Tcl_AppendResult (interp, "expected int > 0, but got \"", Tcl_GetString (ov[1]), "\"", NULL);
    return critcl_trace_cmd_result (TCL_ERROR, interp);
} }

  /* Call - - -- --- ----- -------- */
  c__aproc0(_x);

  /* (void return) - - -- --- ----- -------- */
	return critcl_trace_cmd_result (TCL_OK, interp);
}
