Constant libc_interface::NOTE_SECONDS

pub const NOTE_SECONDS: uint32_t = 0x00000001;