some code for workspace