def only allowed at top level