module loads imply non-null value on stack top