New formula: slalib (secret C port)