fix output for splats, infrastructure for name mangling