task spawning: ct_spawn and ctx_spawn (currently implemented using ct_for)