(read_and): Give full type for procedure arg.