runtme: formatting only
core tetra: use correct prime for args of thunkg