static checking