$pinf.sandbox; misc