Fixing some broken prelude tests due to changing calling conventions.