A simple and incomplete translator