debugging set_args! add stubs for more kernel arg tests