module Null ( resource )  where

import API

resource = plugin { a = 7 }