Thank you very much for you answer.
Just for future reference this is what I found after you "tip", this is taken from MK60N512VMD100.h
union {
uint32_t NBYTES_MLNO;
uint32_t NBYTES_MLOFFNO;
uint32_t NBYTES_MLOFFYES;
};
(That is, they do indead reference the exact same memory address).