stubbed executable