more padic code