This needs to be `"var void volatile while " `.