module MaglevRecord