mosaic: reduced test rs code for typechecker