Testing transformation kernel on a small stack