Allocating Maybe in Cmm foreign import Haskell

Main.hs

{-# LANGUAGE GHCForeignImportPrim, MagicHash, UnliftedFFITypes, UnboxedTuples #-}
import GHC.Exts

foreign import prim "test" tt :: Word# -> Addr#

main = do
  case addrToAny# (tt 0##) of
    (# mb #) -> print (mb :: Maybe (Maybe ()))

run.sh

ghc Main.hs X.cmm
./Main # expected result: Just Nothing

X.cmm

#include "Cmm.h"
test (W_ r1)
 {
    I64[Hp - 16] = ghczminternal_GHCziInternalziMaybe_Just_con_info;
    I64[Hp - 8] = ghczminternal_GHCziInternalziMaybe_Nothing_closure;

    // Tag 0: Unevaluated
    // Tag 1: Nothing
    // Tag 2: Just <-- use this one
    return (Hp - 14);
 }