main: pointer_type argv,