// Auto-generated. Do not edit.
declare namespace control {
/** Run specified user program. */
//% shim=control::runProgram
function runProgram(prog: string): void;
}
// Auto-generated. Do not edit. Really.