#include "check_debug.h"

int main(int x)
{
	x = __smatch_type_rl(int, "s32min-s32max[$2 + 4]", 5);
	__smatch_implied(x);

	return 0;
}
/*
 * check-name: smatch parse value
 * check-command: smatch -I.. sm_val_parse1.c
 *
 * check-output-start
sm_val_parse1.c:6 main() implied: x = '9'
 * check-output-end
 */