private List<ProgramLocation> toProgramLocations(Address[] addresses, Program program) {
		return Arrays.stream(addresses).map(a -> new ProgramLocation(program, a)).toList();
	}
Regex used for going to a file offset.  We expect something of the form <code>file(n)</code>,
where <code>n</code> can be hex or decimal.  Spaces should be ignored.
Ghidra/Features/Base/src/main/java/ghidra/app/util/navigation/GoToQuery.java