arguments to check_dummy must be an integer