@justinmk `alloc_check` won't return `NULL`. See #417