Eval_isprime = ->
	push(cadr(p1))
	Eval()
	p1 = pop()
	if (isnonnegativeinteger(p1) && mprime(p1.q.a))
		push_integer(1)
	else
		push_integer(0)