Imported inline tests from JVM-backend