standard library now gets partially defined with a chunk of jopa code