idris-1.3.3: test/interpret001/expected.out

testtest
MkIO (\w => prim_io_pure ()) : IO' (MkFFI C_Types String String) ()