RTL gen appears to work.