alias_boot.h revision 8fd04b8338ed5093ec2d1e668fa620b7de44c177