auxiliary java UDF for debugging 'Small YADDA'