thread = { sleep = (milliseconds: int) : none { __SLEEP__(milliseconds) } }