Go: package main

import (
	"bufio"
	"fmt"
	"math"
	"os"
	"strconv"
)

func configure(scanner *bufio.Scanner) {
	scanner.Split(bufio.ScanWords)
	scanner.Buffer(make([]byte, 1000005), 1000005)
}
func getNextString(scanner *bufio.Scanner) string {
	scanned := scanner.Scan()
	if !scanned {
		panic("scan failed")
	}
	return scanner.Text()
}
func getNextInt(scanner *bufio.Scanner) int {
	i, _ := strconv.Atoi(getNextString(scanner))
	return i
}
func getNextInt64(scanner *bufio.Scanner) int64 {
	i, _ := strconv.ParseInt(getNextString(scanner), 10, 64)
	return i
}
func getNextFloat64(scanner *bufio.Scanner) float64 {
	i, _ := strconv.ParseFloat(getNextString(scanner), 64)
	return i
}
func main() {
	fp := os.Stdin
	wfp := os.Stdout
	extra := 0
	if os.Getenv("I") == "IronMan" {
		fp, _ = os.Open(os.Getenv("END_GAME"))
		extra = 100
	}
	scanner := bufio.NewScanner(fp)
	configure(scanner)
	writer := bufio.NewWriter(wfp)
	defer func() {
		r := recover()
		if r != nil {
			fmt.Fprintln(writer, r)
		}
		writer.Flush()
	}()
	solve(scanner, writer)
	for i := 0; i < extra; i++ {
		fmt.Fprintln(writer, "-----------------------------------")
		solve(scanner, writer)
	}
}
func solve(scanner *bufio.Scanner, writer *bufio.Writer) {
	dy := [4]int{-1, 0, 0, 1}
	dx := [4]int{0, -1, 1, 0}
	for {
		h := getNextInt(scanner)
		w := getNextInt(scanner)
		if h == 0 {
			break
		}
		grid := makeGrid(h, w)
		a := [2]int{}
		b := [2]int{}
		for i := 0; i < h; i++ {
			s := getNextString(scanner)
			for j := 0; j < w; j++ {
				if s[j] == '#' {
					grid[i][j] = math.MaxInt32
					continue
				}
				if s[j] == 'A' {
					a[0] = i
					a[1] = j
					continue
				}
				if s[j] == 'B' {
					b[0] = i
					b[1] = j
				}
				grid[i][j] = math.MaxInt32 - 1
			}
		}
		q := make([][2]int, 0)
		q = append(q, a)
		for len(q) > 0 {
			p := q[0]
			q = q[1:]
			for i := 0; i < 4; i++ {
				yy := p[0] + dy[i]
				xx := p[1] + dx[i]
				if yy == a[0] && xx == a[1] {
					continue
				}
				if yy < 0 || yy >= h {
					continue
				}
				if xx < 0 || xx >= w {
					continue
				}
				if grid[yy][xx] == math.MaxInt32 {
					continue
				}
				if grid[yy][xx] <= grid[p[0]][p[1]]+1 {
					continue
				}
				grid[yy][xx] = grid[p[0]][p[1]] + 1
				q = append(q, [2]int{yy, xx})
			}
		}
		move := getNextString(scanner)
		i := 0
		m := len(move)
		for {
			if i > 400 {
				fmt.Fprintln(writer, "impossible")
				break
			}
			if grid[b[0]][b[1]] <= i {
				fmt.Fprintln(writer, fmt.Sprintf("%d %d %d", i, b[0], b[1]))
				break
			}
			switch move[i%m] {
			case '8':
				if b[0] > 0 {
					b[0]--
				}
			case '6':
				if b[1]+1 < w {
					b[1]++
				}
			case '4':
				if b[1] > 0 {
					b[1]--
				}
			case '2':
				if b[0]+1 < h {
					b[0]++
				}
			}
			i++
		}
	}
}
func makeGrid(h, w int) [][]int {
	index := make([][]int, h, h)
	data := make([]int, h*w, h*w)
	for i := 0; i < h; i++ {
		index[i] = data[i*w : (i+1)*w]
	}
	return index
}

C++: #include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<int,int> pii;

#define REP(i,n) for(ll i=0;i<n;i++)

const int dx[4] = { 1, 0, -1, 0 };
const int dy[4] = { 0, 1, 0, -1 };

int h, w, ax, ay, bx, by, t, flag;
char field[30][30];
char pattern[20];

int main() {

	while(true) {

		scanf("%d%d", &h, &w);

		if (h == 0 && w == 0) break;

		REP(y,h) {
			scanf("%s", field[y]);
			REP(x,w) {
				if (field[y][x] == 'A') {
					ax = x;
					ay = y;
				} else if (field[y][x] == 'B') {
					bx = x;
					by = y;
				}
			}
		}

		scanf("%s", pattern);

		int leng = strlen(pattern);

		t = 0, flag = 0;

		queue<pii> q, nq;
		q.push(pii(ax,ay));

		REP(i,200) {
			t++;

			// girl
			while(!q.empty()) {
				pii p = q.front();
				q.pop();
				REP(j,4) {
					int nx = p.first + dx[j];
					int ny = p.second + dy[j];
					if (0<=nx&&nx<w && 0<=ny&&ny<h && field[ny][nx]!='#' && field[ny][nx]!='A') {
						field[ny][nx] = 'A';
						nq.push(pii(nx,ny));
					}
				}
			}
			while(!nq.empty()) {
				q.push(nq.front());
				nq.pop();
			}

			// ghost
			switch(pattern[i%leng]) {
				case '5':
				break;
				case '8':
				by--;
				if(by<0)by=0;
				break;
				case '6':
				bx++;
				if(bx>=w)bx=w-1;
				break;
				case '4':
				bx--;
				if(bx<0)bx=0;
				break;
				case '2':
				by++;
				if(by>=h)by=h-1;
				break;	
			}

			if (field[by][bx] == 'A') {
				flag = 1;
				break;
			}
		}

		if (flag == 0) {
			printf("impossible\n");
		} else {
			printf("%d %d %d\n", t, by, bx);
		}

	}

	return 0;

}

C++: #include <iostream>
#include <queue>
#include <complex>
#include <map>

using namespace std;

typedef complex<int> P;

#define INF 1 << 16

int main() {
	int H, W;
	while (cin >> H >> W, H || W) {
		int m[20][20];
		int sx, sy, gx, gy;
		for (int y = 0; y < H; ++y) {
			string str; cin >> str;
			for (int x = 0; x < W; ++x)
				m[y][x] =
					  str[x] == '#' ? 1
					: str[x] == 'A' ? (sx = x, sy = y, 0)
					: str[x] == 'B' ? (gx = x, gy = y, 0)
					: 0
					;
		}
		string pattern; cin >> pattern;

		int step[20][20]; fill(&step[0][0], &step[0][0]+20*20, INF);
		queue<P> que; que.push( P(sx, sy) );
		queue<int> steps; steps.push( 0 );
		while ( !que.empty() ) {
			P p = que.front(); que.pop();
			int s = steps.front(); steps.pop();
			int x = p.real(), y = p.imag();

			if (x < 0 || x >= W || y < 0 || y >= H) continue;
			if (m[y][x]) continue;
			if (s >= step[y][x]) continue;

			step[y][x] = s;

			que.push( P(x+1, y) ); steps.push(s+1);
			que.push( P(x-1, y) ); steps.push(s+1);
			que.push( P(x, y+1) ); steps.push(s+1);
			que.push( P(x, y-1) ); steps.push(s+1);
		}

		map<char, P> dir;
		dir['8'] = P(0, -1);
		dir['4'] = P(-1, 0);
		dir['5'] = P(0, 0);
		dir['6'] = P(1, 0);
		dir['2'] = P(0, 1);

		int t = 0;
		P pos = P(gx, gy), ans;
		bool flag = false;
		while (++t < INF) {
			P next = dir[pattern[(t-1)%pattern.size()]];
			pos += next;

			if (pos.real() < 0 || pos.real() >= W || pos.imag() < 0 || pos.imag() >= H) pos -= next;

			if (step[pos.imag()][pos.real()] <= t) {
				ans = pos;
				flag = true;
				break;
			}
		}

		if (flag) cout << t << " " << ans.imag() << " " << ans.real() << endl;
		else cout << "impossible" << endl;
	}
}