# strong type checking