RTL test file generated by D. Puttick