#define root_wired_ledger_port root_wired_ledger->ledger_self
#define root_paged_ledger_port root_paged_ledger->ledger_self
-extern void ledger_init(void);
+extern void ledger_init(void) __attribute__((section("__TEXT, initcode")));
extern ipc_port_t ledger_copy(ledger_t);