function checkStatus(status:long){
	if (status == 1){
		printf("%s\n","FAIL")
	}else{
		printf("%s\n","PASS")		
	}
}

probe begin
{
	status = 0
        for (i=1; i <= 100; i++){
		if (randint(i) < 0 || randint(i) > i) {
			status = 1
		}
	}
	checkStatus(status)
        exit()
}