mutable type mnull;