double check with "implicit none"