SYNOPSIS mixed with_player( object ob, closure c, arg1, arg2..) FILE /kernel/simul_efun.c DESCRIPTION Executes c with this_player() set to ob