Added tests for Red 0.42