[workspace_supplier]