A basic frontend for CEN64